sends{-}bound($p$; $e$; $l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($p$($e$,$l$)).1